441. Declarative agent languages and technologies V
Author: / Matteo Baldoni ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers)--Congresses,Declarative programming--Congresses,Intelligent agents (Computer software)--Congresses
Classification :
QA
,
76
.
76
,.
I58
,
D43
,
2007


442. Declarative agent languages and technologies V
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Programming languages (Electronic computers) ; Congresses. ; Declarative programming ; Congresses. ; Intelligent agents (Computer software) ;

443. Declarative agent languages and technologies : first International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003; revised selected and invited papers
Author: Joao Leite...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Intelligent agents )Computer software(
Classification :
QA
76
.
L28
Vol
.
2990


444. Declarative systems
Author: / edited by G. David, R. T. Boute, Boute, B. D. Shriver
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Electronic data processign - Distributed processing -- Congresses,Parallel Processing (Electronic computers) -- Congresses,Programming languages ( Electronic computer) --Semantics -- Congresses
Classification :
QA
76
.
9
.
D5I343
1988


445. Deductive Software Verification – The KeY Book
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبانهای برنامهنویسی کامپیوتر,مهندسی نرم افزار
Classification :
E-Book
,

446. Definition du language algorithmique algol 68
Author: Buffet, J
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Algorithms,، Algol )Computer program language(,، Programming languages )Electronic computers(
Classification :
QA
76
.
5
.
B8


447. Definition of programming languages by interpreting automata
Author: Ollongren, Alexander.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory
Classification :
QA
76
.
7
.
O39


448. Definition of programming languages by interpreting automata
Author: / Alexander Ollongren
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers),Formal languages,Sequential machine theory
Classification :
QA
76
.
7
.
O39


449. Denotational semantics
Author: / by Joseph E. Stoy
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics
Classification :
QA
76
.
7
.
S74


450. Denotational semantics :
Author: David A. Schmidt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers)-- Semantics.,Langages de programmation-- Sémantique.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Semantik
Classification :
QA76
.
7
.
S34
1986


451. Design Patterns in Modern C++
Author: /by Dmitri Nesteruk.,Nesteruk, Dmitri.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Programming languages (Electronic computers).,Software engineering.,Computer programming.,C++ (Computer program language)
Classification :
QA76
.
73
.
C153
D56
2018


452. Design and implementation of programming languages
Author: / edited by John H. Williams and David A. Fisher
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Congresses
Classification :
QA
76
.
7
.
D47


453. Design and implementation of programming languages : proceedings of a DoD Sponsored Workshop, Ithaca, October 1976
Author: edited by John H. Williams and David A. Fisher
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
54


454. Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca
Author: edited by John H. Williams and David A. Fisher
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L4
v
.
54


455. Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Congresses
Classification :
QA
76
.
7
.
D47


456. Design concepts in programming languages
Author: / Franklyn Turbak and David Gifford
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers)
Classification :
QA
,
76
.
7
,.
T845
,
2008


457. Design concepts in programming languages
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Programming languages (Electronic computers) ;

458. Design of very high-level computer languages: a user-oriented approach
Author: Klerer, Melvin
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Programming languages )Electronic computers(
Classification :
QA
76
.
7
.
K58
1991


459. Designing embedded systems with the SIGNAL programming language
Author: / by Abdoulaye Gamatiae
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Embedded computer systems, Programming,Embedded computer systems, Programming, Problems, exercises, etc,Programming languages (Electronic computers),Programming languages (Electronic computers), Problems, exercises, etc,SIGNAL programming language, synchronous languages, Polychrony
Classification :
E-BOOK

460. Designing embedded systems with the SIGNAL programming language
Author: by Abdoulaye Gamatiae
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Embedded computer systems, Programming,Embedded computer systems, Programming, Problems, exercises, etc,Programming languages (Electronic computers),Programming languages (Electronic computers), Problems, exercises, etc,SIGNAL programming language, synchronous languages, Polychrony
Classification :
TK
،
7895
،.
E42
,
G35
،
2010

